infimal convolution

卷积下确界